Lfc is yet another functional programming language which has many characteristics , such as good mathematics basis , reference transparency , no side effect , pattern matching , etc . in theory , an algorithm of enumerating sentences of cfg is presented 本文工作主要是研究形式規約語言lfc的實現和應用,另外還包括一個上下文無關語言句子枚舉算法。在理論方面,提出了一個上下文無關語言句子枚舉算法。